Adaptive fast finite time control of a class of uncertain nonlinear systems

This paper concerns the adaptive fast finite time control of a class of nonlinear uncertain systems of which the upper bounds of the system uncertainties are unknown. By using the fast non-smooth control Lyapunov function and the method of so-called adding a power integrator merging with adaptive technique, a recursive design procedure is provided, which guarantees the fast finite time stability of the closed-loop system. It is proved that the control input is bounded, and a simulation example is given to illustrate the effectiveness of the theoretical results.

Adaptive fast finite-time multiple-surface sliding control for a class of uncertain non-linear systems

This paper concerns the adaptive fast finite-time multiple-surface sliding control (AFFTMSSC) problem for a class of high-order uncertain non-linear systems of which the upper bounds of the system uncertainties are unknown. By using the fast control Lyapunov function and the method of so-called adding a power integrator merging with adaptive technique, a recursive design procedure is provided, which guarantees the fast finite-time stability of the closed-loop system. Further, it is proved that the control input is bounded.

Continuous finite-time state feedback stabilizers for some nonlinear stochastic systems

This paper is concerned with the problem of finite-time stabilization for some nonlinear stochastic systems. Based on the stochastic Lyapunov theorem on finite-time stability that has been established by the authors in the paper, it is proven that Euler-type stochastic nonlinear systems can be finite-time stabilized via a family of continuous feedback controllers. Using the technique of adding a power integrator, a continuous, global state feedback controller is constructed to stabilize in finite time a large class of two-dimensional lower-triangular stochastic nonlinear systems. Also, for a class of three-dimensional lower-triangular stochastic nonlinear systems, a recursive design scheme of finite-time stabilization is given by developing the technique of adding a power integrator and constructing a continuous feedback controller. Finally, a simulation example is given to illustrate the theoretical results. © 2014 John Wiley & Sons, Ltd.

Global finite-time stabilisation for a class of stochastic nonlinear systems by output feedback

In this paper, the problem of global finite-time stabilisation by output feedback is considered for a class of stochastic nonlinear systems. First, based on homogeneous systems theory and the adding a power integrator technique, a homogeneous reduced order observer and control law are constructed in a recursive manner for the nominal system. Then, the homogeneous domination approach is used to deal with the nonlinearities in drift and diffusion terms; it is shown that the proposed output-feedback control law can guarantee that the closed-loop system is global finite-time stable in probability. Finally, simulation examples are carried out to demonstrate the effectiveness of the proposed control scheme.

Learning power and language expressiveness

The topic of the present work is to study the relationship between the power of the learning algorithms on the one hand, and the expressive power of the logical language which is used to represent the problems to be learned on the other hand. The central question is whether enriching the language results in more learning power. In order to make the question relevant and nontrivial, it is required that both texts (sequences of data) and hypotheses (guesses) be translatable from the “rich” language into the “poor” one. The issue is considered for several logical languages suitable to describe structures whose domain is the set of natural numbers. It is shown that enriching the language does not give any advantage for those languages which define a monadic second-order language being decidable in the following sense: there is a fixed interpretation in the structure of natural numbers such that the set of sentences of this extended language true in that structure is decidable. But enriching the original language even by only one constant gives an advantage if this language contains a binary function symbol (which will be interpreted as addition). Furthermore, it is shown that behaviourally correct learning has exactly the same power as learning in the limit for those languages which define a monadic second-order language with the property given above, but has more power in case of languages containing a binary function symbol. Adding the natural requirement that the set of all structures to be learned is recursively enumerable, it is shown that it pays o6 to enrich the language of arithmetics for both finite learning and learning in the limit, but it does not pay off to enrich the language for behaviourally correct learning.

The Impact of Emissions Trading on the Price of Electricity in Nord Pool : Market Power and Price Determination in the Nordic Electricity Market

The objective of this thesis is to find out how dominant firms in a liberalised electricity market will react when they face an increase in the level of costs due to emissions trading, and how this will effect the price of electricity. The Nordic electricity market is chosen as the setting in which to examine the question, since recent studies on the subject suggest that interaction between electricity markets and emissions trading is very much dependent on conditions specific to each market area. There is reason to believe that imperfect competition prevails in the Nordic market, thus the issue is approached through the theory of oligopolistic competition. The generation capacity available at the market, marginal cost of electricity production and seasonal levels of demand form the data based on which the dominant firms are modelled using the Cournot model of competition. The calculations are made for two levels of demand, high and low, and with several values of demand elasticity. The producers are first modelled under no carbon costs and then by adding the cost of carbon dioxide at 20€/t to those technologies subject to carbon regulation. In all cases the situation under perfect competition is determined as a comparison point for the results of the Cournot game. The results imply that the potential for market power does exist on the Nordic market, but the possibility for exercising market power depends on the demand level. In season of high demand the dominant firms may raise the price significantly above competitive levels, and the situation is aggravated when the cost of carbon dioixide is accounted for. Under low demand leves there is no difference between perfect and imperfect competition. The results are highly dependent on the price elasticity of demand.

A Resonant Integrator Based PLL and AC Current Controller for Single Phase Grid Connected PWM-VSI

Grid connected PWM-VSIs are being increasingly used for applications such as Distributed Generation (DG), power quality, UPS etc. Appropriate control strategies for grid synchronisation and line current regulation are required to establish such a grid interconnection and power transfer. Control of three phase VSIs is widely reported in iterature. Conventionally, dq control in Synchronous Reference Frame(SRF) is employed for both PLL and line current control where PI-controllers are used to track the DC references. Single phase systems do not have defined direct (d) and quadrature (q) axis components that are required for SRF transformation. Thus, references are AC in nature and hence usage of PI controllers cannot yield zero steady state errors. Resonant controllers have the ability to track AC references accurately. In this work, a resonant controller based single phase PLL and current control technique are being employed for tracking grid frequency and the AC current reference respectively. A single phase full bridge converter is being operated as a STATCOM for performance evaluation of the control scheme.

Adding Polymorphic Abstraction to ML (Detailed Abstract)

The ML programming language restricts type polymorphism to occur only in the "let-in" construct and requires every occurrence of a formal parameter of a function (a lambda abstraction) to have the same type. Milner in 1978 refers to this restriction (which was adopted to help ML achieve automatic type inference) as a serious limitation. We show that this restriction can be relaxed enough to allow universal polymorphic abstraction without losing automatic type inference. This extension is equivalent to the rank-2 fragment of system F. We precisely characterize the additional program phrases (lambda terms) that can be typed with this extension and we describe typing anomalies both before and after the extension. We discuss how macros may be used to gain some of the power of rank-3 types without losing automatic type inference. We also discuss user-interface problems in how to inform the programmer of the possible types a program phrase may have.

The Seemingly Unrelated Dynamic Cointegration Regression Model and Testing for Purching Power Parity.

This paper studies seemingly unrelated linear models with integrated regressors and stationary errors. By adding leads and lags of the first differences of the regressors and estimating this augmented dynamic regression model by feasible generalized least squares using the long-run covariance matrix, we obtain an efficient estimator of the cointegrating vector that has a limiting mixed normal distribution. Simulation results suggest that this new estimator compares favorably with others already proposed in the literature. We apply these new estimators to the testing of purchasing power parity (PPP) among the G-7 countries. The test based on the efficient estimates rejects the PPP hypothesis for most countries.

Brand orientation : conceptualisation, operationalisation and explanatory power

This study contributes to the brand management literature by providing a conceptualisation of brand orientation from a resource based theory perspective. Moreover, the study advances seminal brand conceptualisations through operationalising the construct and empirically testing its psychometric properties and explanatory power. The construct was explored within a services context focusing on Australian retail organisations, thereby extending brand management research beyond the manufacturing domain. Building on the work of leading brand authors four reflective dimensions of brand orientation are operationalised including distinctive, functional, value adding and symbolic capabilities. The results of this study suggest that brand orientation is a robust construct with strong explanatory power in regards to dependent constructs; positional advantage and organisational performance.

Wind Power Suitability Analysis for the Gulf of Maine

This map shows one option for a viable energy source that is clean, free and endless: wind power. This map shows that the coast of Maine has the potential space and wind speed to be a location for wind farms. Four NOAA buoys placed in different locations along the Maine coast are the source of the wind speed data for this project. The average wind speed of every ten minutes of every day for the year 2004 were averaged so that each buoy was represented by one number of wind speed measured in meters/ second. The values in between these four buoys were estimated, or interpolated, using ArcGIS. Other factors that I took into consideration during this lab were distance from airports (no wind farm can be with in a three mile radius of an airport ) and distance from counties (no one wants an offshore wind farm that obstructs their view). I calculated the most appropriate locations for a wind farm in ArcGIS, by adding these three layers. The final output shows an area along Mt. Desert to be the most appropriate for development.

Reactive power dispatch and planning using a non-linear branch-and-bound algorithm

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

A Parameterization Technique for the Continuation Power Flow Developed from the Analysis of Power Flow Curves

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Towards a Variety of Family Models: Economic Contributions of Spouses and Family Power

In Western societies the increase in female employment (especially among married women) is seen as having brought about the crisis of the traditional model of the family, reinforcing the position of the "modern" model - the egalitarian family with two working spouses and a "dual-career" family. In contrast, the transitional situation in the post-communist countries during the 1990s is producing a crisis of the family with two working spouses (the basic type of the communist period) and leading to new power relations within the family. While the growth of dual-earner households in this century has implied modification of family models towards greater symmetry of responsibility for breadwinning and homemaking, there is considerable evidence that women's increased employment does not necessarily lead to a more egalitarian approach to gender roles within the family. The group set out to investigate the economic situation of families and economic power within the fame as a crucial factor in the transformation of families with two working spouses in order to reveal the specific patterns of gender contracts and power relations within the family that are emerging in response to the current political and economic transformation. They opted for a comparative approach, selecting the Czech Republic as a country where the very similar tendencies of a few years ago (almost 100% of women employed and the family as a realm of considerable private freedom where both women's and men's gender identities and the traditional distribution of family responsibilities were largely preserved) are combined with a very different experience in terms of economic inequalities during the 1990s to that of Russia. In the first stage of the study they surveyed 300 married couples (150 in each country) on the question of breadwinning. They then carried out in-depth interviews with 10 couples from each country (selected from among the educated layers of the population), focusing on the process of the social construction of gender, using breadwinning and homemaking as gender boundaries which distinguish men from women. By analysing changes in social position and the type of interpersonal interaction of spouses they distinguished two main types of family contracts: the neo-traditional "communal sharing" (with male breadwinner, traditional distribution of family chores and negotiated family power) and the modern one based on negotiated agreement. The most important pre-conditions of husband-wife agreement about breadwinning seemed to imply their overall gender ideology rather than the economic and/or family circumstances. In general, wives were more likely to express egalitarian views, supporting the blurring or even elimination of many gender boundaries. Husbands, on the other hand, more often gave responses calling for the continued maintenance of gender boundaries. The analysis showed that breadwinning is still an important gender boundary in these cultures, one that is assumed unless it is explicitly questioned and that is seen as part of what makes a man a "real man". The majority of respondents seemed to be committed to egalitarian ideology on gender roles and the distribution of family tasks, including decision making, but this is contradicted by the persistent idea of the husband as the breadwinner. This contradiction is more characteristic of the Russian situation than of the Czech. The quantitative study showed a difference in prevailing family models between the two countries, with a clearer shift towards the traditional family contract in the Russian case. The Czechs were more likely to consider their partnerships as based on negotiated agreement, while the Russians saw theirs as based on egalitarian contract, in both cases seeing this as the norm. The majority of couples said they felt satisfied with their marriage, although in both countries wives seemed to be less satisfied. There was however a difference in the issues that aroused dissatisfaction, with Czech women being more sensitive to issues such as self-realisation, personal independence, understanding and recognition in the family, and Russians to issues of love, understanding and recognition. The most disputed area for the majority of families was chores in the home, presumably because in many families both husband and wife were working hard outside the home and because a number of partners had differing views as to the ideal distribution of chores within the family. The distribution of power in the family seems to be linked to the level of well being. The analysis showed that in the dominant democratic model there is still an inverse connection between family leadership and well being: the more prominent the wife's position as head of the family is, the lower the level of family income. This may reflect both the husband's refusal to play the leading role in the family and even his rejection of any involvement in family issues in such a family. The qualitative research revealed that both men and women see the breadwinning role to be an essential part of masculine identity, a role which the female partner would take on temporarily to assist the male but not permanently since this would threaten the gender boundaries and the man's identity. At the same time, few breadwinners expressed a sense of job satisfaction and all considered their choice as imposed on them by the circumstances (i.e. having a family in difficult times). The group feel that family orientation and some loss of personal involvement in their profession is partly reflected in the fact that many of the men felt more comfortable and self-confident at home than at work. Women's work, on the other hand, was largely seen as a source of personal and self-realisation and social life. Eight out of ten of the Russian women interviewed were employed, although only two on a full-time basis, but none saw their jobs as adding substantially to the family budget. Both partners see the most important factor as the wife's wish to work or stay at home, and do not think it wise for the wife to work at the expense of her part of the "family contract", although husbands from the "egalitarian" relationships expressed more willingness to compromise. The analysis showed clearly that wives and husbands did not construct gender boundaries in isolation, with the interviews providing clear evidence of negotiation. At the same time, husbands' interpretations of their wives' employment were less susceptible to the influence of negotiation than were their gender attitudes and norms about breadwinning. One of the most interesting aspects of the spouses' negotiations was the extent to which they disagreed about what they seemed to have agreed upon. Most disagreements about the breadwinning boundaries, however, were over norms and were settled by changes in norms rather than in behavioural interpretation. Changes in norms were often a form of peace offering or were in response in changes in circumstances. The study did show, however, that many of the efforts at cooperation and compensation were more symbolic than real and the group found the plasticity of expressed gender ideology to be one of the most striking findings of their work. They conclude that the shift towards more traditional gednder distributions of incomes and domestic chores does not automatically mean the reestablishment of a patriarchal model of family power. On the contrary, it seems to be a compromise formation, relatively unstable, temporary and containing self-defeating forces as the split between the personal and professional value of work and its social value expressed in a money equivalent cannot be maintained for generations.